Listing 1 - 10 of 28 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
Algebra, Boolean --- Logic machines --- Boole, Algèbre de. --- Machines logiques.
Choose an application
Computers --- Transistor circuits --- Logic machines --- Ordinateurs --- Circuits transistorisés --- Machines logiques --- Circuits --- Circuits
Choose an application
L'intelligence artificielle...Ce vocable sorti de la science-fiction désigne aujourd'hui l'un des secteurs les plus actifs de la recherche, au confluent de l'informatique, de la robotique et des sciences cognitives. Liant intimement questions théoriques fondamentales et applications pratiques, les progrès de l'intelligence artificielle sont appelés à modifier rapidement notre environnement technologique et nos méthodes de communication.
Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- Intelligence artificielle --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence.
Choose an application
Quels sont les problèmes philosophiques soulevés par les ordinateurs et par l'informatique ? Les réponses les plus fréquentes invoquent l'intelligence artificielle, la pensée des machines ou les théories computationnelles de l'esprit. Mais ces réponses occultent la possibilité d'une autre ouverture philosophique sur l'informatique, conçue à partir d'une réflexion sur la machine en logique. Comment comprendre que la logique, qui est à la fois une discipline de la pensée et un instrument d'analyse du langage, puisse devenir aussi bien une science des machines informatiques ? Pierre Wagner montre pourquoi la machine s'est progressivement imposée, depuis les années trente, comme l'un des objets majeurs de l'analyse logique ; et à partir de cette réflexion d'ordre historique, il trace les linéaments d'une philosophie des machines informatiques qui ne se réduit pas aux questions d'intelligence artificielle ou de théorie de l'esprit. L'ouvrage se présente également comme une introduction à certaines notions logiques fondamentales (les machines de Turing, le lambda-calcul, la correspondance de Curry-Howard...) dont l'auteur met en évidence la portée philosophique.
Computer science --- Logic, Symbolic and mathematical. --- Artificial intelligence. --- Informatique --- Logique symbolique et mathématique --- Intelligence artificielle --- Philosophy --- Philosophie --- Logic machines --- Logique mathématique --- Machines logiques --- Logique --- Histoire --- Intelligent machines --- Machines, Logic --- Logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Automation --- Logique mathématique. --- Philosophie. --- Histoire.
Choose an application
Don de Jean-Paul Haton
Artificial intelligence --- Expert systems (Computer science) --- Intelligence artificielle --- Systèmes experts (Informatique) --- Systèmes experts (Informatique) --- Artificial intelligence. --- ARTIFICIAL INTELLIGENCE --- EXPERT SYSTEMS --- Monograph --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers
Choose an application
Artificial intelligence --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence.
Choose an application
Artificial intelligence --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence.
Listing 1 - 10 of 28 | << page >> |
Sort by
|